EqHD ({-}1) THEN All Reduce THEN Auto 
\\[0ex]
\\[0ex]THEN Unfold `guard` 0 THEN RWO "cons\_member" 0 THEN Auto 
\\[0ex]THEN OrLeft THEN Auto